derivative ln(cos(x))